Facet browsing currently unavailable
Page 1 of 16644 results
Sort by: relevance publication year
Special issue on Theoretical Topics in Graph Transformation JOURNAL ARTICLE published September 2022 in Theoretical Computer Science |
Generalized metrics and uniquely determined logic programs JOURNAL ARTICLE published August 2003 in Theoretical Computer Science |
μ-Recursion and infinite limits JOURNAL ARTICLE published June 2003 in Theoretical Computer Science |
Theory of symbolic expressions, I JOURNAL ARTICLE published 1983 in Theoretical Computer Science |
On domain-partitioning induction criteria: worst-case bounds for the worst-case based JOURNAL ARTICLE published August 2004 in Theoretical Computer Science |
Factors of characteristic words of irrational numbers JOURNAL ARTICLE published June 2005 in Theoretical Computer Science |
NC solving of a system of linear ordinary differential equations in several unknowns JOURNAL ARTICLE published April 1996 in Theoretical Computer Science |
Hardness of approximating the Minimum Solutions of Linear Diophantine Equations JOURNAL ARTICLE published April 2007 in Theoretical Computer Science |
Repairing time-determinism in the process algebra for hybrid systems JOURNAL ARTICLE published August 2012 in Theoretical Computer Science |
Categorial grammars with iterated types form a strict hierarchy of JOURNAL ARTICLE published September 2012 in Theoretical Computer Science |
On the complexity of a family of JOURNAL ARTICLE published January 2012 in Theoretical Computer Science |
An extended Earley’s algorithm for Petri net controlled grammars without JOURNAL ARTICLE published August 2012 in Theoretical Computer Science |
Sum of digits sequences modulo JOURNAL ARTICLE published August 2011 in Theoretical Computer Science |
The set of parameterized JOURNAL ARTICLE published March 2012 in Theoretical Computer Science |
New upper bounds on the JOURNAL ARTICLE published May 2011 in Theoretical Computer Science |
A linear time and space algorithm for detecting path intersection in JOURNAL ARTICLE published August 2011 in Theoretical Computer Science |
Three-player partizan games JOURNAL ARTICLE published February 2005 in Theoretical Computer Science |
The essence of ideal completion in quantitative form JOURNAL ARTICLE published May 2002 in Theoretical Computer Science |
A new heap game JOURNAL ARTICLE published February 2001 in Theoretical Computer Science |
Cooperative TSP JOURNAL ARTICLE published June 2010 in Theoretical Computer Science |